Members

Christophe Alias Researcher at Inria.Keywords: compilation, high-level synthesis, polyhedral model.Home page: http://perso.ens-lyon.fr/christophe.alias/, List of publications Ludovic Henrio Researcher at CNRS.Keywords: programming languages, actors, semantics, concurrency and distribution, objects, components, futures.Home page: https://lhenrio.github.io/, List of publications Matthieu Moy (team leader) Assistant professor at UCBL (Lyon 1).Keywords: hardware simulation, compilation, many-core, dataflow languages, formal verification.Home page: https://matthieu-moy.fr, … Continue reading Members